Qué (quién) es Интуиционизм - definición
Интуиционизм
в математике, философское направление, отвергающее теоретико-множественную трактовку математики и считающее интуицию (См. Интуиция) единственным источником математики и главным критерием строгости её построений. На базе И. возник также ряд других направлений в основаниях логики и математики, в частности Конструктивное направление. См. Математический интуиционизм.
ИНТУИЦИОНИЗМ
а, мн. нет, м., мат.
Одно из направлений в философии математики, в котором подвергаются критике основания теории множеств. Интуиционист - сторонник интуиционизма. Интуиционистский - характеризующийся интуи-ционизмом. | Основным критерием строгости математических рассуждений сторонники интуициониз-ма считают интуицию.||Ср. ЛОГИСТИКА.
ИНТУИЦИОНИЗМ
направление в основаниях математики, полагающее критерием убедительности доказательства интуитивную ясность каждого его шага; не признает т. н. абстракцию актуальной бесконечности, характерную для множеств теории.
Wikipedia
Интуиционизм
Интуициони́зм — совокупность философских и математических взглядов, рассматривающих математические суждения с позиций «интуитивной убедительности». Различаются две трактовки интуиционизма: интуитивная убедительность, которая не связана с вопросом существования объектов, и наглядная умственная убедительность.
В интуиционистской математике отвергается подход классической теории множеств (в частности, не принимаются аксиома выбора и аксиома регулярности) и ряд рассуждений классической логики. Абстракция потенциальной осуществимости, которая используется в интуиционистской математике, лучше соотносится с действительностью, чем абстракция актуальной бесконечности.
